Tony Hoare

Tony Hoare

1

CSP is based on Tony Hoare 's classic work in formalizing the behavior of concurrent programs , and is based on the core concepts of processes and channels .

CSP基于TonyHoare的经典之作中对并发程序行为的正式规范，且基于进程和通道的核心概念。
2

The pi-calculus and the work my group did with Tony Hoare on conformance checking provided a rigorous understanding of how to specify and verify some aspects of channels .

我的小组和TonyHoare合作的，关于并行计算一致性检验的工作，该工作提供了严密的关于如何去指定和检验通道的某些方面的理论。